(define (o1 a b c) (or a b c))
